\{$f$\}$_{q}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{bool{-}to{-}neg{-}dcdr{-}aux:ObjectId, 1:l, i:l\}($A$,$f$)